Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
151	The Design and Implementation of BER MetaOCaml System Description http://okmij.org/ftp/ML/MetaOCaml.html Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-05 20:02:39 Functional languages Cross-platform software Lisp programming language Procedural programming languages Data types Eval Lisp OCaml Type system Computing Software engineering Computer programming
152	Writing Functions in Scheme Suppose we want a function ct which takes a list of symbols and returns the number of symbols in the list (ct ’(a b c)) →→ 3 (ct ’()) →→ 0 (ct ’(x y z w t)) →→ 5 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lisp programming language Data types Functional programming Procedural programming languages Programming idioms Scheme CAR and CDR Null T Computer programming Software engineering Computing
153	Target-Specific Refinement of Multigrid Codes Richard Membarth and Philipp Slusallek Marcel Köster, Roland Leißa, and Sebastian Hack German Research Center for Artificial Intelligence Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-11-21 13:18:09 Procedural programming languages Compiler optimizations Subroutines Data types Lambda calculus Multigrid method ALGOL 68 Eval Loop tiling Software engineering Computing Computer programming
154	PIPS: Internal Representation of Fortran and C Code Mehdi Amini Fabien Coelho B´eatrice Creusillet Serge Guelton Add to Reading List Source URL: pips4u.org Language: English - Date: 2014-10-22 10:38:04 Data types Procedural programming languages Type theory Source code C++ Fortran Variable Pointer Array data type Software engineering Computing Computer programming
155	Using R - MeasureCamp Training Richard Fergie — E-Analytica — @richardfergie Afternoon Training Session Contents 1 Introduction and Scope Add to Reading List Source URL: www.eanalytica.com Language: English - Date: 2015-05-15 02:00:27 Functional languages Procedural programming languages Data types ALGOL 68 Ggplot2 R NIL List Ensemble Kalman filter Computing Software engineering Programming language theory
156	R Internals - with modifications for pqR R Version30), pqR version16) R Development Core Team, pqR modifications by Radford Neal Permission is granted to make and distribute verbatim c Add to Reading List Source URL: www.pqr-project.org Language: English - Date: 2014-11-18 12:42:13 C programming language C++ Data types Procedural programming languages Pointer C Struct Garbage collection Opaque pointer Computing Computer programming Software engineering
157	Data and Process Abstraction in PIPS Internal Representation In proceedings, First Workshop on Intermediate Representations (WIR-1) Chamonix, France, April 2011 Technical Report MINES ParisTech A/447/CRI Fabien Coelho Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-03-22 05:04:03 Subroutines Procedural programming languages C++ Source code Data types Fortran C For loop Pointer Software engineering Computer programming Computing
158	From Data to Effects Dependence Graphs: Source-to-Source Transformations for C Nelson Lossing, Pierre Guillou, Mehdi Amini, and François Irigoin MINES ParisTech, PSL Research Univer Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-27 08:58:07 C programming language C++ Procedural programming languages Data types Cross-platform software Typedef C For loop Pointer Software engineering Computing Computer programming
159	Dedukti in a Nutshell Ronan Saillard MINES ParisTech Dedukti [1] is a proof checker based on rewriting and dependent types. It implements the λΠcalculus modulo, a very expressive logical fr Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:55:25 Type theory Functional languages Functional programming Lisp programming language Data types Append List Cons Dependent type Software engineering Computing Declarative programming
160	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-05-02 04:34:51 Data types C programming language Procedural programming languages C++ Type theory Struct Typedef Pointer ALGOL 68 Software engineering Computing Computer programming

UPDATE